// JOOS1: DEFINITE_ASSIGNMENT,JOOS1_OMITTED_LOCAL_INITIALIZER
// JOOS2: DEFINITE_ASSIGNMENT,VARIABLE_MIGHT_NOT_HAVE_BEEN_INITIALIZED
// JAVAC: UNKNOWN
/**
  * Definite Assignment:
  * - (Joos 1) A local variable declaration must have an initializer.
  * - (Joos 2) Whenever a local variable is used in any context which
  * is not the direct left-hand side of an assignment, it must be
  * definitely assigned at that point in the program. (a is not
  * definitely assigned)
  */
public class Je_8_DefiniteAssignment_SomethingAndAssignment {

    public Je_8_DefiniteAssignment_SomethingAndAssignment () {}

    public static int test() {
	boolean i;
        boolean j = true;
	if (j && (i=false)) { 
	    j = false;
	}
	j = i;
        return 123;
    }

}
